1. Handbook of Logic and Proof Techniques for Computer Science
Author: by Steven G. Krantz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Mathematics.
Classification :
QA76
.
B978
2002
2. Logical Methods
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
Classification :
E-Book
,
3. Logical Methods
Author: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
4. Process Algebra for Parallel and Distributed Processing
Author:
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
